специальный искусственный язык, используемый в системах обработки информации (см. Языки информационные).

для информационно-логической системы, формальная семантическая система, состоящая из некоторого алфавита (списка элементарных символов) и правил образования, преобразования и интерпретации. Правила образования устанавливают, какие комбинации элементарных символов допускаются, правила преобразования - какие допускаются преобразования выражений (на И. я.) с целью получения логического вывода, а правила интерпретации - как надлежит понимать выражения, составленные по правилам образования. Так как И. я. используется в информационно-логических системах (См. Информационно-логическая система) для записи фактов и сведений, он должен быть недвусмысленным, удобным для дедуктивного логического вывода и отождествления разным образом записанных одинаковых фактов и сведений, пригодным для использования в информационной машине. Такое построение И. я. позволяет вводить в машину не все известные факты и сведения (это было бы невозможно), а лишь основные, из которых в ней можно получить остальные по правилам преобразования.

Чем более формализован реальный язык той или иной отрасли науки (наиболее формализованные языки используются в математике и химии), тем легче создать для неё И. я. Необходимо отличать И. я. от информационно-поискового языка (См. Информационно-поисковый язык), предназначенного для решения другой, значительно более простой задачи - для поиска текстов (документов), основное смысловое содержание которых отвечает на некоторый Информационный запрос, и поэтому имеющего иную структуру.

А. И. Чёрный.